parallel refutation

并行反演